Jade – Java Diagnosis Experiments Status and Outlook
نویسندگان
چکیده
Model-based diagnosis is a successful AI technique for diagnosing physical systems but faces new challenges when applied to finding faults in software, i.e., debugging. Previous work has mostly dealt with modeling the behavior of programming languages with exploitable special properties: logic, concurrent, or functional. In this paper we describe the objectives, the current state, and the addressed research issues of the Jade project. The aim of the project is to develope the theory and practice of applying model-based diagnosis to software debugging of object-oriented programs. The Java language has been chosen as a vehicle for the project due to its relatively simple semantics, its ubiquity (if not now, then in the near future), and its imperative and object-oriented characteristics.
منابع مشابه
JADE - AI Support for Debugging Java Programs
Model-based diagnosis is a successful AI technique for locating and identifying faults in technical systems. Extending previous research on model-based diagnosis support for fault search in technical designs, we are building a model-based debugger for Java programs to provide intelligent support for the programmer trying to locate the source of an error. By using one or more models derived from...
متن کاملVoltage Coordination of FACTS Devices in Power Systems Using RL-Based Multi-Agent Systems
This paper describes how multi-agent system technology can be used as the underpinning platform for voltage control in power systems. In this study, some FACTS (flexible AC transmission systems) devices are properly designed to coordinate their decisions and actions in order to provide a coordinated secondary voltage control mechanism based on multi-agent theory. Each device here is modeled as ...
متن کاملStructural Performance Evaluation of Multi-Agent Systems
This paper is dedicated to the issue of structural performance of multi-agent platforms. Due to the wide range of all available architectures, we have concentrated only on Java RMI implementations. The main goal of this paper consists of two parts. The first one is to investigate and develop the performance metrics to enable evaluation of distributed systems without reorganization of the runnin...
متن کاملLocating Bugs in Java Programs – First Results of the Java Diagnosis Experiments (Jade) project
This paper describes the use of model-based reasoning for locating bugs in Java programs. Model-based diagnosis is a technology that uses a declarative, generic description of the behavior of the components occurring in a domain to construct a model of the overall system which can then be used at the desired level of abstraction to predict a system’s behavior and derive assumptions about which ...
متن کاملCellular Network Fault Prediction Using Mobile Intelligent Agent Technology
Proactive cellular network fault automation models using mobile intelligent agent are presented in this paper. Cellular networks are uncertain and dynamic in their behaviours and therefore we use different artificial intelligent techniques to develop platform independent, autonomous, reasoning, scalable and robust agent that can report on any unforeseen anomaly within the cellular network servi...
متن کامل